-
Notifications
You must be signed in to change notification settings - Fork 16
Fixed github link metadata #631
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
|
ah, also how about to remove if all three are fine for both @nigelmegitt and @palemieux , I would update this PR. |
|
|
||
|
|
||
|
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Strange white space appended to end of file.
Happy to remove unused files. Does this have any interaction with PR Preview not working? Or was it only used for echidna auto-publication? |
this was used for locally executed automation tool (not sure it was echidna or not, but some command line tool without integration with spec building tool like bikeshed or respec), and not used for spec-prod GH workflow. |
as title.
Also,,, how about:
it seems:
Previous Versionsin document details header has been made optionalhow about to remove both
previousMaturity(line 18) andpreviousPublishDate(line 25)? (which also may cause our mistake!)//instead of/* */for commentblock type commented out is confusing and we may edit line by line, as well as switch enable/disable line by line, in metadata lines, how about not to use
/* */?